• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۰,۴۵ ثانیه یافت شد.

1. Formal methods for mobile computing

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Marco Bernardo, Alessandro Bogliolo (eds.).

Library: Library of College of Science University of Tehran (Tehran)

Subject: Mobile computing, -- Congresses,a05,Formal methods (Computer science)--Congresses.,Computer software--Congresses.,System design--Congresses.

Classification :
QA76
.
9
.
F67
I587
2005

2. Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Marco Bernardo, Alessandro Bogliolo )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Mobile computing,Congresses ، Formal methods )Computer science(,Congresses ، Computer software -- Development

Classification :
QA
76
.
L28
Vol
.
3465
  • »
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival